Triangle Sparsifiers

In this work, we introduce the notion of triangle sparsifiers, i.e., sparse graphs which are approximately the same to the original graph with respect to the triangle count. This results in a practical triangle counting method with strong theoretical guarantees. For instance, for unweighted graphs we show a randomized algorithm for approximately counting the number of triangles in a graph G, which proceeds as follows: keep each edge independently with probability p, enumerate the triangles in the sparsified graph G′ and return the number of triangles found in G′ multiplied by p−3. We prove that under mild assumptions on G and p our algorithm returns a good approximation for the number of triangles with high probability. Specifically, we show that if p ≥ max ( polylog(n)∆ t , polylog(n) t1/3 ), where n, t, ∆, and T denote the number of vertices in G, the number of triangles in G, the maximum number of triangles an edge of G is contained and our triangle count estimate respectively, then T is strongly concentrated around t: Pr [|T − t| ≥ t] ≤ n . We illustrate the efficiency of our algorithm on various large real-world datasets where we obtain significant speedups. Finally, we investigate cut and spectral sparsifiers with respect to triangle counting and show that they are not optimal. Submitted: January 2011 Reviewed: July 2011 Revised: September 2011 Accepted: October 2011 Final: October 2011 Published: October 2011 Article type: Regular paper Communicated by: D. Wagner We would like to thank Prof. Alan Frieze and Richard Peng for helpful discussions and the anonymous referees for their valuable comments. Research supported by NSF Grants No. CCF-1013110, No. IIS-0705359, No. CCF-0635257 and by the University of Crete Grant No. 2569. E-mail addresses: [email protected] (Charalampos E. Tsourakakis) [email protected] (Mihail N. Kolountzakis) [email protected] (Gary L. Miller) 704 Tsourakakis et al. Triangle Sparsifiers